Change default scheduler in user's manual (from sedf to credit).

Signed-off-by: Atsushi SAKAI <sakaia@jp.fujitsu.com>

diff --git a/docs/src/user.tex b/docs/src/user.tex
index 923b3ae7dab08f05cc26a29b0564d5b0d040fe69..eeec0721c07de52910264cd365e6de68a0e9a28e 100644 (file)
--- a/docs/src/user.tex
+++ b/docs/src/user.tex
@@ -3170,7 +3170,7 @@ editing \path{grub.conf}.
 \item [ tbuf\_size=xxx ] Set the size of the per-cpu trace buffers, in
   pages (default 0).  
 \item [ sched=xxx ] Select the CPU scheduler Xen should use.  The
-  current possibilities are `sedf' (default), `credit', and `bvt'.
+  current possibilities are `credit' (default), `sedf', and `bvt'.
 \item [ apic\_verbosity=debug,verbose ] Print more detailed
   information about local APIC and IOAPIC configuration.
 \item [ lapic ] Force use of local APIC even when left disabled by